Section: Dissemination

Popularization

Xavier Leroy gave a popularization talk on formal methods at the plenary days of Inria's DGD-T (may 2016) and another on critical avionics software for first-year students at École Polytechnique (june 2016).